- type-inferencing algorithm
- алгоритм определения типов (данных)
English-Russian dictionary of computer science and programming. 2013.
type-inferencing algorithm
Смотреть что такое "type-inferencing algorithm" в других словарях:
Rete algorithm — The Rete algorithm is an efficient pattern matching algorithm for implementing production rule systems. The Rete algorithm was designed by Dr Charles L. Forgy of Carnegie Mellon University, first published in a working paper in 1974, and later… … Wikipedia
Unification (computer science) — Unification, in computer science and logic, is an algorithmic process by which one attempts to solve the satisfiability problem. The goal of unification is to find a substitution which demonstrates that two seemingly different terms are in fact… … Wikipedia
Quark Framework — CAL Paradigm(s) functional, non strict, modular Appeared in 2004 Designed by Luke Evans, Bo Ilic (Business Objects) Typing discipline static, strong … Wikipedia
Corticon — Technologies Inc. Type Private Industry BRMS Founded Incorporated 2000 Founder(s) Mark Allen Pedram Abrari … Wikipedia
Ingres (database) — Ingres Ingres Corporation logo Developer(s) Actian Corporation Stable release Ingres Database 10 / October 12, 2010; 13 months ago (2010 10 12) … Wikipedia
Clinical decision support system — (CDSS or CDS) is an interactive decision support system (DSS) Computer Software, which is designed to assist physicians and other health professionals with decision making tasks, as determining diagnosis of patient data. A working definition has… … Wikipedia
Resampling (statistics) — In statistics, resampling is any of a variety of methods for doing one of the following: # Estimating the precision of sample statistics (medians, variances, percentiles) by using subsets of available data (jackknife) or drawing randomly with… … Wikipedia
